Proving compability between communicating components with a firs order logic theorem prover
- Författare
- Institutionen för datavetenskap (Göteborg) Sofia Bäckström Jennie Boljang
- (Jennie Boljang, Sofia Bäckström., Examensarbete)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2003 | Sverige, Göteborg | 171 sidor. ill. |